The comment in xen.h on how to obtain current system time was missing
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Thu, 13 Apr 2006 09:41:53 +0000 (10:41 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Thu, 13 Apr 2006 09:41:53 +0000 (10:41 +0100)
a right shift by 32 bits.

Signed-Off-By: Bruce Rogers <brogers@novell.com>
xen/include/public/xen.h

index 8b2faffc6f686b8bfddfe2d7757bf30fa07485f2..cf5e38c9b7d136c6fa782b58b679c4655333e8c0 100644 (file)
@@ -286,7 +286,8 @@ typedef struct vcpu_time_info {
     uint64_t system_time;     /* Time, in nanosecs, since boot.    */
     /*
      * Current system time:
-     *   system_time + ((tsc - tsc_timestamp) << tsc_shift) * tsc_to_system_mul
+     *   system_time +
+     *   ((((tsc - tsc_timestamp) << tsc_shift) * tsc_to_system_mul) >> 32)
      * CPU frequency (Hz):
      *   ((10^9 << 32) / tsc_to_system_mul) >> tsc_shift
      */